results for Theory Of Computation